perm filename INTERP[F86,JMC] blob sn#830908 filedate 1986-12-20 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	interp[f86,jmc]		An interpreter for Lisp with key words keyword
C00004 ENDMK
C⊗;
interp[f86,jmc]		An interpreter for Lisp with key words keyword

This is a combination of ideas.

1. Let's see what happens if we base Lisp functions entirely on the
keyword format.  This makes abbreviations and defaults much more
routine.

2. In particular it should make the Lisp for the editor easier.

3. This is akin to the idea expounded in Charniak and McDermott
and current in some computation linguistics work of describing
an event not by slots but by attaching attributes and relations
to a proper name, e.g.

event(e) ∧ actor(e) = JMC ∧ purpose(e) = <expression> ∧ occurs(e,1987)

4. The idea should also be applicable to CBCL.  Ask VAL and CLT for
advice.

5. Could I put it in the paper for the Turing volume?